# SLAB 할당기

**SLAB 할당기**(SLAB Allocator)는 리눅스 커널과 같은 운영체제에서 자주 사용되는 작은 크기의 객체(Object)를 효율적으로 관리하고 할당하기 위한 메모리 관리 기법입니다. 이 기법은 메모리 단편화(Memory Fragmentation)를 줄이고, 캐시(Cache) 효율성을 높이며, 동적 할당 및 해제의 성능을 극대화하는 것을 목표로 합니다.

## 개요

리눅스 커널은 네트워크 패킷, 파일 설명자, 프로세스 제어 블록(PCB) 등 다양한 작은 크기의 데이터를 처리해야 합니다. 이러한 데이터들은 수명이 짧고 빈번하게 생성 및 소멸됩니다. 만약 이러한 작은 객체들을 표준 할당기인 `kmalloc`이나 `buddy system`을 통해 직접 관리한다면, 다음과 같은 문제가 발생할 수 있습니다.

1.  **메모리 단편화**: 작은 블록들이 흩어져 있어 연속된 물리 메모리를 확보하기 어려워짐.
2.  **할당 오버헤드**: 매번 물리 페이지를 할당하고 해제하는 과정에서의 CPU 사이클 소모.
3.  **캐시 비효율성**: 관련 데이터가 물리적으로 멀리 떨어져 있어 CPU 캐시 미스(Cache Miss)가 빈번하게 발생.

SLAB 할당기는 이러한 문제를 해결하기 위해 **객체를 미리 할당된 슬랩(Slab) 단위로 묶어 관리**합니다. 이는 데이터베이스에서 연결 리스트를 관리하듯, 동일한 타입의 객체들을 효율적으로 재사용할 수 있게 합니다.

## 동작 원리 및 구조

SLAB 할당기는 세 가지 주요 개념으로 구성됩니다: **슬랩(Slab)**, **슬랩 캐시(Slab Cache)**, 그리고 **객체(Object)**입니다.

### 1. 슬랩 캐시 (Slab Cache)
슬랩 캐시는 동일한 타입의 객체들을 관리하는 집합입니다. 예를 들어, `inode` 캐시, `task_struct` 캐시 등이 존재합니다. 커널이 특정 타입의 객체를 요청할 때, 해당 타입에 대응되는 슬랩 캐시를 통해 객체를 가져옵니다.

### 2. 슬랩 (Slab)
슬랩 캐시는 하나 이상의 슬랩으로 구성됩니다. 각 슬랩은 물리 메모리 페이지(또는 여러 페이지)로 이루어져 있으며, 이 페이지들은 할당된 객체들로 채워집니다. 슬랩은 세 가지 상태로 관리됩니다:
*   **Full**: 모든 객체가 할당되어 사용 중.
*   **Partial**: 일부 객체가 할당되어 있고, 일부가 비어 있어 새로운 객체를 할당할 수 있음.
*   **Empty**: 모든 객체가 해제되어 비어 있음.

### 3. 객체 (Object)
실제로 커널이 사용하는 데이터 구조체입니다. SLAB 할당기는 객체를 할당할 때, 비어 있는 슬랩에서 객체를 찾아 반환합니다. 만약 모든 슬랩이 Full 상태라면, 새로운 슬랩을 할당하여 캐시에 추가합니다.

## 주요 특징 및 장점

### 1. 빠른 할당 및 해제 속도
SLAB 할당기는 객체를 할당하거나 해제할 때 복잡한 알고리즘을 수행하지 않습니다. 단순히 비어 있는 슬랩에서 객체의 주소를 가져오거나, 사용된 객체를 다시 비어 있는 슬랩으로 반환하는 작업만 수행합니다. 이는 O(1) 시간 복잡도를 가지며, 매우 빠른 성능을 보장합니다.

### 2. 메모리 단편화 감소
작은 객체들을 물리적으로 인접하게 배치함으로써 메모리 단편화를 최소화합니다. 특히, 동일한 타입의 객체들이 같은 슬랩에 모여 있으므로, 관련 데이터가 물리적으로 가까이 위치하게 되어 캐시 효율성이 향상됩니다.

### 3. 캐시 효율성 (Cache Locality)
CPU 캐시는 인접한 메모리 주소를 빠르게 접근하는 경향이 있습니다. SLAB 할당기는 동일한 타입의 객체들을 물리적으로 가깝게 배치하므로, 관련 데이터에 대한 캐시 히트율을 높여 시스템 전체의 성능을 향상시킵니다.

### 4. 동적 캐시 생성
커널이 실행되는 동안 새로운 데이터 타입이 필요할 때, SLAB 할당기는 자동으로 해당 타입을 위한 슬랩 캐시를 생성합니다. 이는 커널의 확장성과 유연성을 제공합니다.

## SLUB 및 SLOB과의 비교

리눅스 커널의 메모리 관리 기법은 시대에 따라 발전해 왔습니다.

| 할당기 | 특징 | 사용 현황 |
| :--- | :--- | :--- |
| **SLAB** | 초기 리눅스 커널에서 사용. 객체 추적 및 디버깅 기능이 풍부하지만 오버헤드가 큼. | 레거시 시스템 또는 특정 디버깅 모드에서 사용 |
| **SLUB** | SLAB의 단점을 보완한 최신 할당기. 슬랩을 제거하고 직접 페이지를 관리하여 오버헤드를 줄임. | 현대 리눅스 커널의 기본 할당기 |
| **SLOB** | 단순화된 할당기로, 메모리 제약이 작은 임베디드 시스템에서 사용. | 임베디드 리눅스 등 제한된 환경 |

현재 대부분의 현대 리눅스 배포판은 **SLUB** 할당기를 기본으로 사용합니다. SLUB는 SLAB의 복잡한 구조를 단순화하여 성능을 개선하고, 메모리 사용량을 줄이는 데 중점을 둡니다.

## 결론

SLAB 할당기는 리눅스 커널이 효율적으로 작은 객체를 관리할 수 있도록 하는 핵심 기술입니다. 메모리 단편화 방지, 빠른 할당/해제 속도, 그리고 향상된 캐시 효율성 덕분에 운영체제의 전반적인 성능과 안정성에 기여합니다. 비록 최신 커널에서는 SLUB가 이를 대체하고 있지만, SLAB의 설계 개념은 여전히 메모리 관리의 중요한 기초를 이루고 있습니다.

## 참고 자료

*   Linux Kernel Documentation: `Documentation/core-api/slab.rst`
*   "Understanding the Linux Kernel", Daniel P. Bovet, Marco Cesati
*   "Linux Device Drivers", Jonathan Corbet, Alessandro Rubini, Greg Kroah-Hartman